libxc: The following patch replace the libxc interface to use
authorKeir Fraser <keir.fraser@citrix.com>
Thu, 19 Jun 2008 15:15:05 +0000 (16:15 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Thu, 19 Jun 2008 15:15:05 +0000 (16:15 +0100)
commit50bddc93078cb4f3e757027fbe3b9a15659050c0
tree260c0ca76854afa92c5536603c5a0361a378341b
parentc385f786c2b062e79c92a760ca0973ef0d54371a
libxc: The following patch replace the libxc interface to use
vcpu_guest_context_any_t (which is both 32 and 64 bits) instead of
vcpu_guest_context_t.

Signed-off-by: Jean Guyader <jean.guyader@eu.citrix.com>
12 files changed:
tools/libxc/xc_core.c
tools/libxc/xc_domain.c
tools/libxc/xc_domain_restore.c
tools/libxc/xc_domain_save.c
tools/libxc/xc_pagetab.c
tools/libxc/xc_private.h
tools/libxc/xc_ptrace.c
tools/libxc/xc_ptrace_core.c
tools/libxc/xc_resume.c
tools/libxc/xenctrl.h
tools/libxc/xg_save_restore.h
tools/xentrace/xenctx.c